Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
941	Butterfly Project Report 17 An Empirical Study of Message-Passing Overhead Michael L. Scott and Alan L. Cox Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-26 00:09:58 Concurrency Message passing Thread Actor model Futures and promises Transmission Control Protocol Concurrency control Message queue DNIX Computing Inter-process communication Concurrent computing
942	Tech. Rep. 599, Computer Science Dept., Univ. of Rochester Correction of a Memory Management Method for Lock-Free Data Structures Maged M. Michael Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-27 19:46:57 Software engineering Mutual exclusion Compare-and-swap Linked list Pointer Non-blocking algorithm ABA problem Stack Linearizability Concurrency control Computing Computer programming
943	A Generic Construction for Nonblocking Dual Containers∗ Joseph Izraelevitz Michael L. Scott Technical Report #992 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-05-18 13:52:16 Data management C++ Standard Library Computer programming Transaction processing Associative arrays Double-ended queue Sequence container Placeholder Container Abstract data types Concurrency control Computing
944	Tech. Rep.SSO Scheduler-Conscious Synchronization * Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-28 18:01:32 Concurrency Spinlock Scheduling Non-blocking algorithm Lock Critical section Busy waiting Thread Parallel computing Concurrency control Computing Computer programming
945	Algorithms for scalable synchronization on shared-memory multiprocessors Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-09-23 12:40:39 Concurrency Spinlock Parallel computing Lock Compare-and-swap Test-and-set Busy waiting Fetch-and-add Linearizability Concurrency control Computing Computer programming
946	TRANSACT[removed]A Hybrid TM for Haskell ∗ Ryan Yates Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-03-26 17:12:55 Computing Software Software transactional memory Linearizability Transactional memory Glasgow Haskell Compiler Database transaction Lock Concurrent Haskell Transaction processing Concurrency control Data management
947	TRANSACT[removed]Interchangeable Back Ends for STM Compilers ∗ Gokcen Kestor,2,3 Luke Dalessandro,4 Adri´an Cristal,1,3 Michael L. Scott,4 and Osman Unsal 3 1 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-05-16 22:19:06 Computing Software Programming language implementation Software transactional memory Intel C++ Compiler Lock Database transaction Schedule Compiler Transaction processing Concurrency control Data management
948	Logical Concurrency Control From Sequential Proofs Jyotirmoy Deshmukh1 , G. Ramalingam2 , Venkatesh-Prasad Ranganath2 , and Kapil Vaswani2 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-05-20 00:44:54 Concurrency control Concurrent computing Program logic Logic programming Concurrency Hoare logic Thread safety Parallel computing Linearizability Computing Computer programming Software engineering
949	Transactions as the Foundation of a Memory Consistency Model! Luke Dalessandro1 , Michael L. Scott1 , and Michael F. Spear2 1 2 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2010-07-27 20:28:11 Deadlock Computing Software engineering Computer science Concurrency control Concurrency Lock
950	PDF Document Add to Reading List Source URL: openmp.org Language: English - Date: 2014-04-03 21:17:42 Parallel computing Software engineering Fortran OpenMP Thread Callback Lock Monitor Pin Computing Computer programming Concurrency control

UPDATE